<?php
/*
    Download page
    Copyright (C) 2015, 2016  Leah Rowe <info@minifree.org>

    This document is released under Creative Commons Zero 1.0 Universal
    Public Domain License.

    See <https://creativecommons.org/publicdomain/zero/1.0/legalcode>
*/
	header('Content-type: text/html; charset=utf-8');
	ob_start();
	include_once "../common/variables.php";
	include_once "../common/functions.php";
?>
<!DOCTYPE html>
<html>
<head>
	<link rel="stylesheet" type="text/css" href="../common/css/main.css" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title><?php echo gettext("Download libreboot"); ?></title>
</head>

<body>

	<div>

		<h1><?php echo gettext("Download libreboot (stable releases)"); ?></h1>

			<p>
				<strong>
					<?php echo gettext("The latest stable release is"); ?> <?php echo $lbRelease[0][0][0]; ?>,
					<?php echo gettext("released on"); ?> <?php echo $lbRelease[0][0][1]; ?> and can be
                    found at <a href="#https">#https</a>.
				</strong> <a href="../"><?php echo gettext("Back to home page"); ?></a>
			</p>
            <p>
				If you're more interested in libreboot development, go to the <a href="../git/">libreboot development page</a>, which
				also includes links to the Git repositories. Visit <a href="../tasks/">../tasks/</a> for tasks currently on the TODO list.
			</p>

            <h2>GPG signing key</h2>
                <p>
                    See <a href="../gpg/">../gpg/</a> for info.
                </p>
			<h2>Do you have a mirror?</h2>
				<p>
					Let us know! We will add it here. Instructions for how to mirror libreboot
					releases can be found <a href="../rsync/">here</a>.
				</p>

            <h2 id="https">HTTPS mirrors</h2>
                <p>
                    These mirrors are recommended, since they use TLS (https://) encryption.
                </p>
<?php
                echo mirrorList($lbHttpsMirror, gettext("HTTPS mirrors not added yet."),0,count($lbHttpsMirror));
?>
			<h2 id="http">HTTP mirrors</h2>
                <p>
                    WARNING: these mirrors are non-HTTPS which means that they are unencrypted. Your traffic could be subject
                    to interference by adversaries. Make especially sure to check the GPG signatures, assuming
                    that you have the right key. Of course, you should do this anyway, even if
                    using HTTPS.
                </p>
<?php
				/* show HTTP mirrors */
				echo mirrorList($lbHttpMirror, gettext("HTTP mirrors not added yet."),0,count($lbHttpMirror));
?>
			<h2 id="ftp">FTP mirrors</h2>
                <p>
                    WARNING: FTP is also unencrypted, like HTTP. The same risks are present.
                </p>
<?php
				/* show FTP mirrors */
				echo mirrorList($lbFtpMirror,gettext("FTP mirrors not added yet."),0,count($lbFtpMirror));
?>
	</div>

<?php
	include "../common/ccs.php";
	include "../common/footer.php";
?>

</body>
</html>
<?php
	$strHtml = ob_get_clean();
	echo miniHtml($strHtml);
?>
